type t = int
     and t = string;
